%protoknow(p1,sp,pri(lst,[cm(id,[u_1],[]),cm(data,[u_1],dot)])).
%protoknow(p2,sp,pri(ea,[pri(pk,[cmr(kM,[ttp],[])]),pri(lst,[cm(id,[u_2],[]),cm(data,[u_2],dot)])])).
%protoknow(p3,sp,pri(ea,[pri(pk,[cmr(kM,[ttp],[])]),pri(lst,[cm(id,[u_3],[]),cm(data,[u_3],dot),cmr(n,dot,bot)])])).

load(three).

proto(pi_,p1,[id=idu,data=ageu]).

role(al,init,[idu,ageu:di]).
role(al,initg,[ks]).
role(al,pi_,sp).